Algebraicity and the Tensor Product of Concept Lattices
نویسنده
چکیده
In this paper we prove that the tensor product of complete lattices, as it is defined in formal context analysis, preserves algebraicity. The proof of this fact is based on the compactness of propositional logic. We use this property to show that the box product of p0,_q-semilattices, introduced by G.Grätzer and F.Wehrung in 1999, can be obtained from the tensor product of concept lattices in a manner similar to how it is done in the definition of tensor product in “general” lattice theory.
منابع مشابه
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully benefit from this theory, we believe that it can be enriched with notions such as approximation by computation or representability. The latter are commonly studied in denotational semantics and domain theory and captured...
متن کاملRatios of Periods for Tensor Product Motives
In this paper, we prove some period relations for the ratio of Deligne’s periods for certain tensor product motives. These period relations give a motivic interpretation for certain algebraicity results for ratios of successive critical values for Rankin–Selberg L-functions for GLn × GLn′ proved by Günter Harder and the second author.
متن کاملTensor Products and Transferability of Semilattices
In general, the tensor product, A ⊗ B, of the lattices A and B with zero is not a lattice (it is only a join-semilattice with zero). If A ⊗ B is a capped tensor product, then A ⊗ B is a lattice (the converse is not known). In this paper, we investigate lattices A with zero enjoying the property that A ⊗ B is a capped tensor product, for every lattice B with zero; we shall call such lattices ame...
متن کاملThe Tensor Product as a Lattice of Regular Galois Connections
Galois connections between concept lattices can be represented as binary relations on the context level, known as dual bonds. The latter also appear as the elements of the tensor product of concept lattices, but it is known that not all dual bonds between two lattices can be represented in this way. In this work, we define regular Galois connections as those that are represented by a dual bond ...
متن کاملBEST APPROXIMATION IN QUASI TENSOR PRODUCT SPACE AND DIRECT SUM OF LATTICE NORMED SPACES
We study the theory of best approximation in tensor product and the direct sum of some lattice normed spacesX_{i}. We introduce quasi tensor product space anddiscuss about the relation between tensor product space and thisnew space which we denote it by X boxtimesY. We investigate best approximation in direct sum of lattice normed spaces by elements which are not necessarily downwardor upward a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014